home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Language/OS - Multiplatform Resource Library
/
LANGUAGE OS.iso
/
prolog
/
sbprolog
/
v3
/
latex_do.lha
/
latex_doc
/
sbprolog_doc.tex
/
internals.pl
< prev
next >
Wrap
Text File
|
1990-07-06
|
3KB
|
123 lines
# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate internals original text with physical files.
$key = q/adding_builtins/;
$ref_files{$key} = "$dir".q|node72_ct.html|;
$noresave{$key} = "$nosave";
$key = q/arithmetic/;
$ref_files{$key} = "$dir".q|node29_ct.html|;
$noresave{$key} = "$nosave";
$key = q/buffers/;
$ref_files{$key} = "$dir".q|node35_ct.html|;
$noresave{$key} = "$nosave";
$key = q/builtins/;
$ref_files{$key} = "$dir".q|node66_ct.html|;
$noresave{$key} = "$nosave";
$key = q/clause/;
$ref_files{$key} = "$dir".q|node17_ct.html|;
$noresave{$key} = "$nosave";
$key = q/coding_for_efficiency/;
$ref_files{$key} = "$dir".q|node67_ct.html|;
$noresave{$key} = "$nosave";
$key = q/comparison_of_terms/;
$ref_files{$key} = "$dir".q|node34_ct.html|;
$noresave{$key} = "$nosave";
$key = q/compiler_options/;
$ref_files{$key} = "$dir".q|node51_ct.html|;
$noresave{$key} = "$nosave";
$key = q/complementary_tests/;
$ref_files{$key} = "$dir".q|node68_ct.html|;
$noresave{$key} = "$nosave";
$key = q/cuts_and_if-then-else/;
$ref_files{$key} = "$dir".q|node22_ct.html|;
$noresave{$key} = "$nosave";
$key = q/debugging/;
$ref_files{$key} = "$dir".q|node42_ct.html|;
$noresave{$key} = "$nosave";
$key = q/impure_code/;
$ref_files{$key} = "$dir".q|node60_ct.html|;
$noresave{$key} = "$nosave";
$key = q/indexing_directives/;
$ref_files{$key} = "$dir".q|node55_ct.html|;
$noresave{$key} = "$nosave";
$key = q/inlinepredicatetable/;
$ref_files{$key} = "$dir".q|node24_ct.html|;
$noresave{$key} = "$nosave";
$key = q/internal_database/;
$ref_files{$key} = "$dir".q|node37_ct.html|;
$noresave{$key} = "$nosave";
$key = q/list/;
$ref_files{$key} = "$dir".q|node15_ct.html|;
$noresave{$key} = "$nosave";
$key = q/macros/;
$ref_files{$key} = "$dir".q|node57_ct.html|;
$noresave{$key} = "$nosave";
$key = q/operator_priorities/;
$ref_files{$key} = "$dir".q|node16_ct.html|;
$noresave{$key} = "$nosave";
$key = q/operators/;
$ref_files{$key} = "$dir".q|node16_ct.html|;
$noresave{$key} = "$nosave";
$key = q/query/;
$ref_files{$key} = "$dir".q|node19_ct.html|;
$noresave{$key} = "$nosave";
$key = q/rule/;
$ref_files{$key} = "$dir".q|node18_ct.html|;
$noresave{$key} = "$nosave";
$key = q/search_path/;
$ref_files{$key} = "$dir".q|node6_ct.html|;
$noresave{$key} = "$nosave";
$key = q/simulator_options/;
$ref_files{$key} = "$dir".q|node47_ct.html|;
$noresave{$key} = "$nosave";
$key = q/statistics/;
$ref_files{$key} = "$dir".q|node39_ct.html|;
$noresave{$key} = "$nosave";
$key = q/structures/;
$ref_files{$key} = "$dir".q|node15_ct.html|;
$noresave{$key} = "$nosave";
$key = q/system_directories/;
$ref_files{$key} = "$dir".q|node7_ct.html|;
$noresave{$key} = "$nosave";
$key = q/terms/;
$ref_files{$key} = "$dir".q|node15_ct.html|;
$noresave{$key} = "$nosave";
$key = q/the_compiler/;
$ref_files{$key} = "$dir".q|node49_ct.html|;
$noresave{$key} = "$nosave";
$key = q/unixsystemcalls/;
$ref_files{$key} = "$dir".q|node39_ct.html|;
$noresave{$key} = "$nosave";
1;